1. Advances in Software EngineeringInternational Conference on Advanced Software Engineering and Its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer software-- Development
رده :
QA
76
.
758
.
I5694
2009
2. Advances in software engineering techniques
المؤلف: Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
I35
2009eb
3. Balancing agility and formalism in software engineerin
المؤلف: / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Software engineering--Congresses,Computer software--Development--Congresses
4. Balancing agility and formalism in software engineering
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
5. Component-based software engineering
المؤلف: / George T. Heineman ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Software engineering--Congresses,Computer software--Development--Congresses,Component-based software engineering,CBSE
رده :
QA
,
76
.
758
,.
C39
,
2005
6. Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings
المؤلف: George T. Heineman ... ]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3489
7. Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings
المؤلف: Ivica Crnkovic....]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3054
8. FM 2012
المؤلف: Dimitra Giannakopoulou, Dominique Méry (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I593
2012eb
9. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
رده :
TA
5
.
I415
1997
10. Formal methods and software engineering :
المؤلف: Jing Sun, Meng Sun (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
11. Formal methods for multicore programming
المؤلف: \ Marco Bernardo , Einar Broch Johnsen (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرم‌افزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
12. Foundations of computer software
المؤلف: Radu Calinescu, Ethan Jackson (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
13. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
المؤلف:
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
14. Fundamental approaches to software engineering :
المؤلف: Alessandra Russo, Andy Schürr (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
رده :
QA76
.
758
.
F37
2018eb
15. Fundamental approaches to software engineering
المؤلف: Juan de Lara, Andrea Zisman (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
F44
2012eb
16. Intelligent Software Methodologies, Tools and Techniques
المؤلف: \ [edited by] Hamido Fujita, Ali Selamat.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگره‌ها
رده :
QA
76
.
758
.
I5
2015
E-Book
,
17. Intelligent Software Methodologies, Tools and Techniques
المؤلف: [Edited by] Hamido Fujita, Guido Guizzi
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
TK
5105
.
5
.
I5
2015
E-Book
,
18. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
المؤلف: Edited by Harmut Ehrig...]et al.[
المکتبة: (طهران)
موضوع: Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
19. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
المؤلف: Alan Hartman, David Kreische )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3748
20. Modelling foundations and applications
المؤلف: / Thomas Keuhne ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer architecture--Congresses,Software engineering--Congresses,Object-oriented programming (Computer science)--Congresses,Conception assistaee par ordinateur en gaenie logiciel--Congr?es.--ram,Modellgetriebene Entwicklung--swd,Modelltransformation--swd,Metamodell--swd,Entwurfssprache--swd,Anwendungssystem--swd,Paris <2010>--swd
رده :
QA
,
76
.
76
,.
D47
,
E762
,
2010
